From Lossy to Lossless Reasoning
manidoraisamy.com·4h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·21h·
Type Checking
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Review Based Entity Ranking using Fuzzy Logic Algorithmic Approach: Analysis
arxiv.org·18h
🔍Fuzzy Indexing
Flag this post
Rdza – Rust Programming, in Polish
github.com·12h·
Discuss: Hacker News
🎓Teaching Compilers
Flag this post
I Tried Beating LeetCode Like a Game. It Actually Worked.
dev.to·2h·
Discuss: DEV
🌳Tree Walking
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·8h·
🗂️Type Indexing
Flag this post
Making Mathematical Reasoning Adaptive
paperium.net·16h·
Discuss: DEV
🏗️MLIR
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·50m
⚖️Inference Rules
Flag this post
Ajla Tutorial
ajla-lang.cz·22h·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
SQL for Data Analysis Tutorial
mygreatlearning.com·22h
📈Query Optimization
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.com·13h·
Discuss: DEV
🌉Language Bridges
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
λLambda Calculus
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌱Minimal Interpreters
Flag this post
What are you doing this weekend?
lobste.rs·3h·
Discuss: Lobsters
💬Interactive REPLs
Flag this post
Down with template (or not)!
cedardb.com·22h
📋Template Compilers
Flag this post
Decoding the Language of Data: A Comprehensive Guide to Text Mining in R and Python
dev.to·15h·
Discuss: DEV
🧠Semantic Parsing
Flag this post